/**
 * 
 */
package homework6;

/**
 * @author Nican
 * 
 */
public interface IFormula {
	<R> R traverse(IProc<R> f);
}
